Is Ramsey's Theorem Ω-automatic?
نویسندگان
چکیده
We study the existence of infinite cliques in ω-automatic (hyper-)graphs. It turns out that the situation is much nicer than in general uncountable graphs, but not as nice as for automatic graphs. More specifically, we show that every uncountable ω-automatic graph contains an uncountable co-context-free clique or anticlique, but not necessarily a context-free (let alone regular) clique or anticlique. We also show that uncountable ω-automatic ternary hypergraphs need not have uncountable cliques or anticliques at all.
منابع مشابه
Is Ramsey's Theorem omega-automatic?
We study the existence of infinite cliques in ω-automatic (hyper-)graphs. It turns out that the situation is much nicer than in general uncountable graphs, but not as nice as for automatic graphs. More specifically, we show that every uncountable ω-automatic graph contains an uncountable co-context-free clique or anticlique, but not necessarily a context-free (let alone regular) clique or antic...
متن کامل(Un)countable and (non)effective versions of Ramsey’s theorem
We review Ramsey’s theorem and its extensions by Jockusch for computable partitions, by Sierpiński and by Erdős and Rado for uncountable homogeneous sets, by Rubin for automatic partitions, and by the author for ω-automatic (in particular uncountable) partitions.
متن کاملA Polychromatic Ramsey Theory for Ordinals
The Ramsey degree of an ordinal α is the least number n such that any colouring of the edges of the complete graph on α using finitely many colours contains an n-chromatic clique of order type α. The Ramsey degree exists for any ordinal α < ω. We provide an explicit expression for computing the Ramsey degree given α. We further establish a version of this result for automatic structures. In thi...
متن کاملAdvice Automatic Structures and Uniformly Automatic Classes
We study structures that are automatic with advice. These are structures that admit a presentation by finite automata (over finite or infinite words or trees) with access to an additional input, called an advice. Over finite words, a standard example of a structure that is automatic with advice, but not automatic in the classical sense, is the additive group of rational numbers (Q,+). By using ...
متن کاملLarge Subsets of Points with all Pairs (Triples) Having Different Distances (Areas)
Let {p1, . . . , pn} ⊆ R. We think of d ≤ n. How big is the largest subset X of points such that all of the distances determined by elements of ( X 2 ) are different? We show that X is at least Ω((n1/(6d)(log n)1/3)/d1/3). Assume that no three of the original points are collinear. How big is the largest subset X of points such that all of the areas determined by elements of ( X 3 ) are differen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010